Fix 64b build breakage.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 21 Feb 2006 18:35:34 +0000 (19:35 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Tue, 21 Feb 2006 18:35:34 +0000 (19:35 +0100)
commit8ae7327c62628de824167f0cdf4d3f1cc7415060
treea91f81fd8df392d0afa6150667c98569b22e805a
parentb97b110e07063fc6893ece05042d182f88ef9039
Fix 64b build breakage.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/domain.c